Static Analysis Cpp